Let's Get the Real into Real-Time Computing

The road ahead : it doesn't get any easier p. 4 Modeling real-time systems p. 5 Integrated resource management and scheduling with multi-resource constraints p. 12 Finite-horizon scheduling of radar dwells with online template construction p. 23 Feasibility analysis of preemptive real-time systems upon heterogeneous multiprocessor platforms p. 37 Negative results for scheduling independent hard real-time tasks with self-suspensions p. 47 Compositional real-time scheduling framework p. 57 Pre-scheduling on the domain of integers p. 68 WCET code positioning p. 81 Modeling out-of-order processors for software timing analysis p. 92 Design style case study for embedded multi media compute nodes p. 104 Enforcing safety of real-time schedules on contemporary processors using a virtual simple architecture (VISA) p. 114 Competitive algorithms for fine-grain real-time scheduling p. 129 Integrating best-effort scheduling into a real-time system p. 139 A virtual deadline scheduler for window-constrained service guarantees p. 151 Optimal state feedback based resource allocation for resource-constrained control tasks p. 161 A CLP proof method for timed automata p. 175 A translation based method for the timed analysis of scheduling extended time petri nets p. 187 Pessimism in the stochastic analysis of real-time systems : concept and applications p. 197 Scheduling acyclic branching programs on parallel machines p. 208 A model-based approach to designing QoS adaptive applications p. 221 Automatic verification of component-based real-time CORBA applications p. 231 Scoped types for real-time Java p. 241 The design and performance of configurable component middleware for distributed real-time and embedded systems p. 252 Robust quality management for differentiated imprecise data services p. 265 Statistical quality of service guarantee for temporal consistency of real-time data objects p. 276 Construction of a coherency preserving dynamic data dissemination network p. 286 Mobile element scheduling for efficient data collection in wireless sensor networks with dynamic deadlines p. 296 Fixed priority scheduling for reducing overall energy on variable voltage processors p. 309 On-line dynamic voltage scaling for hard real-time systems using the EDF algorithm p. 319 Rewriting history to exploit gain time p. 328 Processor frequency selection for SoC platforms for multimedia applications p. 336 A scalable logical coordinates framework for routing in wireless sensor networks p. 349